1. <A> Framework for Priority Arguments
پدیدآورنده: / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
2. A framework for priority arguments
پدیدآورنده: Manuel Lerman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
3. Descartes
پدیدآورنده: \ Georges Dicker.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Descartes, Rene,1596-1650., Meditationes de prima philosophia.,First philosophy.,God-- Proof, Ontological.,Methodology.,Knowledge, Theory of.,دکارت، رنه، ۱۵۹۶-۱۶۵۰م.,فلسفه اولی ,خدا -- اثبات هستیشناختی ,روششناسی ,شناخت (فلسفه)
رده :
B1854
.
D53D4
2013
5. Explanation and Proof in Mathematics
پدیدآورنده: \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
6. Explanation and proof in mathematics
پدیدآورنده: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Mathematics, Philosophy,Beweistheorie, swd,Philosophie, swd
رده :
E-BOOK
7. Explanation and proof in mathematics
پدیدآورنده: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Mathematics--Philosophy,Beweistheorie--swd,Philosophie--swd
رده :
QA
,
9
.
54
,.
E97
,
2010
8. Explanation and proof in mathematics
پدیدآورنده: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Mathematics, Philosophy
رده :
QA9
.
54
.
E97
2010
10. Explanation and proof in mathematics: philosophical and educational perspectives
پدیدآورنده: Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory,Philosophy ، Mathematics
رده :
QA
9
.
54
.
E97
2010
11. Mathematical undecidability, quantum nonlocality, and the question of the existence of God
پدیدآورنده: / edited by Alfred Driessen and Antoine Suarez
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Physics- Philosophy,Mathematics- Philosophy,Quantum theory,God- Proof, Ontological
رده :
QC6
.
M357
1997
12. Meditations on first philosophy
پدیدآورنده: / Renae Descartes
کتابخانه: کتابخانه مرکز روانپزشکی رازی (تهران)
موضوع: First philosophy,God--Proof, Ontological,Methodology,Knowledge, Theory of
رده :
B1853
.
E5
,
M67
2008
13. Meditations on first philosophy
پدیدآورنده: / Renae Descartes
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع: First philosophy,God--Proof, Ontological,Methodology,Knowledge, Theory of
رده :
B1853
.
E5
,
M67
2008
14. Meditations on first philosophy in focus
پدیدآورنده: / Rene Descartes
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: First philosophy - Early works to 1800,God - Proof, Ontological - Early works to 1800,Methodology,Knowledge, Theory of,Descartes, Rene, - 1596-1650 - Views on methodology
رده :
B1853
.
E5H44
1993
15. Meditations on first philosophy :with selections from the Objections and replies
پدیدآورنده: Descartes, Renعe
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، First philosophy,Proof, Ontological ، God,، Methodology,، Knowledge, Theory of
رده :
B1853
.
E5
M67
2008
16. Meditations on first philosophy with selections)ebook(
پدیدآورنده: Rene Descartes; Translated with an Introduction and notes by Michael Moriaty,Title
کتابخانه: کتابخانه انتشارات سمت (تهران)
موضوع: first philosophy,god- proof,ontological,Methodology,knowledge, theory of
رده :
B
E5M67
1853
17. Proof theory & philosophy
پدیدآورنده: Restall , Greg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Proof theory ► Proof theory -- Philosophy
رده :
511
R436p
18. The age of alternative logics :
پدیدآورنده: edited by Johan van Benthem ... [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
19. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده: / editors, Shahid Rahman, John Symons
کتابخانه: کتابخانه دانشگاه امام صادق علیه السلام (تهران)
موضوع: Logic, Symbolic and mathematical,Mathematics -- Philosophy,Proof theory,Categories (Philosophy)
رده :
BC135
.
A39
2006
20. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
